تعداد ۳۰ پاسخ غیر تکراری از ۳۰ پاسخ تکراری در مدت زمان ۴,۴۷ ثانیه یافت شد.

1. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings

پدیدآورنده: Jacques Calmet...]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2385

2. Automated Reasoning

پدیدآورنده: / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Automatic theorem proving--Congresses,Computer logic--Congresses

3. Automated Reasoning with Analytic Tableaux and Related Methods

پدیدآورنده: \ Hans De Nivelle (Ed.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :

QA

76

.

9

.

A96

2015

E-Book

,

4. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

پدیدآورنده: Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :

QA

76

.

L28

Vol

.

2083

5. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

پدیدآورنده: David Basin, Michael Rusinowitch )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :

QA

76

.

L28

Vol

.

3097

6. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

پدیدآورنده: Ulrich Furbach, Natarajan Shankar )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer logic

رده :

QA

76

.

L28

Vol

.

4130

7. Automated reasoning with analytic tableaux and related methods :

پدیدآورنده: Didier Galmiche, Dominique Larchey-Wendling (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Automatic theorem proving, Congresses

رده :

QA76

.

9

.

A96

8. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97

پدیدآورنده: Didier Galmiche )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(

رده :

QA

76

.

L28

Vol

.

1227

9. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1 2002 : proceedings

پدیدآورنده: Uwe Egly, Christian G. Fernmuller )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2381

10. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings

پدیدآورنده: Bernhard Beckert )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

3702

11. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings

پدیدآورنده: Harrie de Swart, )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence

رده :

QA

76

.

L28

Vol

.

1397

12. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

پدیدآورنده: Roy Dyckhoff )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1847

13. Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

پدیدآورنده: Marta Cialdea Mayer, Fiora Pirri )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2796

14. Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June, 1999 : proceedings

پدیدآورنده: Niel V. Murray )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1617

15. Cybernetics and systems '86 :

پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.

رده :

Q300

.

O743

1986

16. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers

پدیدآورنده: Christian Laugier )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Artificial intelligence,Congresses ، Computer vision,Congresses ، Robotics,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

708

17. Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Artificial intelligence-- Congresses,، Computer vision-- Congresses,، Robotics-- Congresses,، Automatic theorem proving-- Congresses

رده :

Q

334

.

G465

1993

18. KI-96 :

پدیدآورنده: Günther Görz, Steffen Hölldobler, (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.

19. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

پدیدآورنده: Michel Parigot, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1955

20. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

پدیدآورنده: Moshe Y. Vardi, Anderi Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2850

»
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است